existential [,egzis'tenʃəl] tính từ (thuộc) sự tồn tại, (thuộc) sự sống, (thuộc)...
quantifier (logic học) phép lượng hoá bounded q. phép lượng hoá bị chặn...
Câu ví dụ
The symbol ∃ is called the existential quantifier. Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại.
The symbol ∃ is known as existential quantifier. Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại.
These can be assigned values or can be quantified as to when they apply with the universal quantifier (always apply) or the existential quantifier (applies at least once). Các biến này có thể được gán các giá trị hay có thể được định lượng ở chỗ khi chúng áp dụng với lượng từ phổ quát (luôn luôn áp dụng) hay lượng từ tồn tại (áp dụng ít nhất là một lần).
Nghĩa
Danh từ
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true Từ đồng nghĩa: existential operator,
Điện thoại